option 2: A type of arithmetic that deals with remainders